Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models
نویسندگان
چکیده
منابع مشابه
A Platform Independent Framework for Statecharts Code Generation
Control systems for telescopes and their instruments are reactive systems very well suited to be modelled using Statecharts formalism. The World Wide Web Consortium is working on a new standard called SCXML that specifies XML notation to describe Statecharts and provides a well defined operational semantic for run-time interpretation of the SCXML models. This paper presents a generic applicatio...
متن کاملCode Generation for Timed Automata System Specifications ConsideringTarget Platform Resource-Restrictions
* Department of Computer Science, University of Chemnitz, Chemnitz, Germanny. Abstract A transformation concept and the resulting code generator for the automated implementation of timed automata, given as UPPAAL specification, are proposed in this paper. The concept aims to generate code for data memory restricted target platforms, like embedded systems and sensor network nodes. The output of ...
متن کاملModel-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software logic at a high level of abstraction and enables analysis like for example model checking of critical model properties. Ideally, starting with the platform independent model, the platform specific model serves only as ...
متن کاملAutomatic Generation of Timing Models for Timing Analysis of High-Level Code
Traditional timing analysis is applied only in the late stages of embedded system software development, when the hardware is available and the code is compiled and linked. However, preliminary timing estimates are often needed already in early stages of system development, both for hard and soft real-time systems. If the hardware is not yet fully accessible, or the code is not yet ready to comp...
متن کاملOn the Transition from Computation Independent to Platform Independent Models
The Model Driven Architecture (MDA) describes software development based on models on different levels of abstraction. The development process is outlined as a sequence of model transformations which add specific details to the software models with each subsequent step. The OMG MDA guide refers to the computation independent model (CIM) as the highest level of abstraction. However this model ty...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Cyber-Physical Systems
سال: 2019
ISSN: 2378-962X,2378-9638
DOI: 10.1145/3230711